A Parallel Framework for Large Spatial Microsimulations David Charypar Andreas Horni Kay W. Axhausen 2010

Source URL: www.strc.ch

• Software
• Simulation
• Traffic simulation
• Application software
• Simulation software
• Scientific modeling
• Multi-agent systems
• Microsimulation
• Agent-based model
• Aimsun
• Scientific modelling
• PTV VISSIM

Working with multi-agent-models – Pro and cons for daily routine Florian Harder, Rapp Trans AG Conference paper STRC 2012

Source URL: www.strc.ch

• Multi-agent systems
• Simulation
• Scientific modeling
• Agent-based model
• Complex systems theory
• Scientific modelling
• PTV AG
• Agent-based social simulation
• Comparison of agent-based modeling software

Microsoft Word - OCL2011-2.doc

Source URL: www.db.informatik.uni-bremen.de

• Workflow technology
• Engineering
• Software engineering
• Business
• Diagrams
• Process management
• ISO standards
• Activity diagram
• Systems Modeling Language
• Workflow pattern
• ECO
• Workflow

Whether, How Much, and Why: Integrating Modeling and Systems Biology Approaches To Answer Questions About Use of Ursodiol in Neonates Rebecca Baillie1, Toufigh Gordi1, James Bosley1, Christina Friedrich1, Arlin Blood2, L

Source URL: www.rosaandco.com

HALF-DAY TUTORIAL: TOOL SUPPORTED MODELBASED SAFETY ANALYSIS TOPICS Model Based Safety Analysis, Safety-Critical Systems, Failure Modeling, Quantitative Analysis, Qualitative Analysis, Reliability, Dependability, Optimiz

Source URL: 2012.dsn.org

Modeling the Economic and Environmental Performance of Recycling Systems Jeffrey B. Dahmus, Susan A. Fredholm, Elsa A. Olivetti, Jeremy R. Gregory, and Randolph E. Kirchain Abstract—A general model for evaluating the

Source URL: msl.mit.edu

Introduction 3D DIM Systems GIRAPIM

Source URL: webmgs2010.como.polimi.it

• Computing
• Information
• Knowledge
• Information science
• Data modeling
• Semantic Web
• Knowledge representation
• Technical communication
• CityGML
• Visualization
• Ontology
• Information system

ICMA-V 5th International Conference on Mathematical Modeling & Analysis of Populations in Biological Systems

Source URL: www.apmaths.uwo.ca

Employing Classifying Terms for Testing Model Transformations

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Software engineering
• Computing
• Engineering
• Software testing
• Systems engineering
• Software design
• Scientific modeling
• Model-based testing
• ECO
• Metamodeling
• Class diagram

Speaker: Valentin Goranko (Technical University of Denmark) Title: Modalities for multi-agent systems Over the pastyears modal logic has become an increasingly popular and successful framework for modeling and ana

Source URL: modalityandmodalities.weebly.com